Nuprl Definition : Rbframe 11,40
Rbframe(loc; k; L) == inr inr inr inr inr inr inr inr inr (inl <loc, k, L> )          
latex

Definitionsinr x , inl x , <a, b>
FDL editor aliasesRbframe, Rbframe

origin